System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
161	.,i 7It o o 17fo-33O04/99 REOD. NO. D. Add to Reading List Source URL: www.nia.gov.in Language: English - Date: 2013-10-24 08:16:25 Union Public Service Commission System time ALGOL 68 Newline Computing Software engineering Programming language theory
162	BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-27 03:29:28 Computing LR parser Parsing Bottom-up parsing LL parser Top-down parsing Formal grammar Context-free grammar Terminal and nonterminal symbols Formal languages Software engineering Programming language implementation
163	T-EMU 2.0: The Next Generation LLVM Based Micro-Processor Emulator Dr. Mattias Holm <> ● Add to Reading List Source URL: llvm.org Language: English - Date: 2015-05-07 11:28:28 Virtual machines Emulator Programming language implementation Binary translation QEMU LLVM OVPsim LEON Machine code System software Software Compilers
164	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
165	Genera 8.1 Software Installation Guide for 3600 Family Machines CD-ROM Distribution Media for All Sites All sites who requested CD-ROM distribution media receive the following: • Symbolics Genera 8.1, all platforms, 1 Add to Reading List Source URL: www.ugcs.caltech.edu Language: English - Date: 2007-09-20 23:26:53 Computer workstations Lisp programming language Genera Symbolics NetBoot Lisp machine Booting ISO File system Computing Software Classes of computers
166	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
167	SubVirt: Implementing malware with virtual machines Samuel T. King Peter M. Chen University of Michigan {kingst,pmchen}@umich.edu Yi-Min Wang Chad Verbowski Helen J. Wang Jacob R. Lorch Microsoft Research Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2006-03-03 22:37:06 Virtual machines Programming language implementation Rootkit Malware Windows Virtual PC Hypervisor VirtualBox Ring Operating system System software Software VMware
168	Statically Scoped Object Adaptation with Expanders Alessandro Warth Milan Stanojevi´c Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Object-oriented programming Cross-platform software Method Type theory Java programming language Eval Java Type system Factory method pattern Software engineering Computing Computer programming
169	Hennepin County Application for License to Sell Tobacco Products Add to Reading List Source URL: www.hennepin.us Language: English - Date: 2014-05-12 13:05:40 Computing Tobacco Email address Address C Software engineering Programming language theory Postal system ZIP code Vending machine
170	Libraries < PAGE >1Chapter XX: Libraries Every modern linker handles libraries, collections of object files that are included as needed in a linked program. In this chapter we cover traditional statically linked librari Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-14 23:31:35 Compiler construction Programming language implementation Archive formats C programming language Library COFF C++ Object file Linker Computing Software System software

UPDATE